Supplementary figures for “Consistent probabilistic outputs for protein function prediction” Guillaume Obozinski Department of Statistics UC Berkeley Berkeley, CA, USA

Source URL: eceweb.ucsd.edu

• Information science
• Information retrieval evaluation
• Knowledge representation
• Technical communication
• Semantic Web
• Precision and recall
• Ontology
• R-value

Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract

Source URL: repository.readscheme.org

• Lambda calculus
• Combinatory logic
• Church encoding
• Fixed-point combinator
• Anonymous function
• Higher-order abstract syntax
• Type system
• Unification
• De Bruijn index
• Lambda calculus definition

Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997

Source URL: repository.readscheme.org

• Programming idioms
• Mathematical logic
• Elementary mathematics
• Recursion
• Computability theory
• Escher
• Monad
• Rewriting
• Term
• Path ordering
• Fold
• Function

ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy

Source URL: repository.readscheme.org

• Data types
• Subroutines
• Type theory
• Functional languages
• Procedural programming languages
• Closure
• Standard ML
• Type system
• Anonymous function
• Partial evaluation
• HindleyMilner type system
• ML

Using Intel Software Guard Extensions for Efficient Two-Party Secure Function Evaluation Debayan Gupta1 , Benjamin Mood2 , Joan Feigenbaum1 , Kevin Butler2 , and Patrick Traynor2 1

Source URL: work.debayangupta.com

• Secure multi-party computation
• Software Guard Extensions
• Cryptography
• Singapore Exchange
• Secure two-party computation
• Eval
• Communications protocol
• Cryptographic protocol

Multigame playing by means of UCT enhanced with automatically generated evaluation functions Karol Wal¸edzik and Jacek Ma´ ndziuk Faculty of Mathematic and Information Science,

Source URL: www.mini.pw.edu.pl

• Game artificial intelligence
• Game theory
• General game playing
• Game Description Language
• Monte Carlo method
• Simulation
• University of Cape Town
• Computer chess
• Game
• Evaluation function

VIRGINIA SOCIETY OF LANDSCAPE DESIGNERS CERTIFICATION EVALUATION FORM Certification is based on a 100-point system. A minimum of 85 points is necessary for acceptance. 1. DESIGN INTENT (10 Points)  Clients’ function

Source URL: vsld.org

Measurement of the vital capacity of lung Introduction: An examination of ventilation function of lungs is necessary for evaluation of functional properties of human respiratory system. It used either for estimation of d

Source URL: ubi.lf1.cuni.cz

• Respiratory physiology
• Respiratory therapy
• Pulmonary function testing
• Spirometry
• Spirometer
• FEV1/FVC ratio
• Lung volumes
• Exhalation
• Vital capacity
• Lung
• Tidal volume
• Ventilation

Cryptography:   Security proofs Software-independence through secure function evaluation

Source URL: users.encs.concordia.ca

Department of Education Advances Transparency Agenda for Accreditation Accreditation’s historic function serves as an important protection for both students and taxpayers by assuring the quality of our postsecondary ed

Source URL: www2.ed.gov

• Education
• Evaluation
• Accreditation
• Educational accreditation
• Council for Higher Education Accreditation
• National Advisory Committee on Institutional Quality and Integrity
• Regional accreditation
• Higher education accreditation
• Higher education accreditation in the United States
• American Academy for Liberal Education